『The Architecture of Symbolic Computers』
The Architecture of Symbolic Computers(pdf)
SECDマシン
の仕様が載っている？
#文献